RTL-SADE: A High-Level Tool for the Specification of ASICs in Data-Flow Type Applications
نویسنده
چکیده
A method and tool for logic design with data-flow and state-transition diagrams is presented. The method is based on object-oriented characterization and encapsulation of the control and timing requirements of combinational and sequential data-path units. The method makes it possible to use CASE (computer-aided software engineering) methods based on system-level semantics in conjunction with current register-transfer-level VHDL and logic synthesis tools. The timing model for data-flow diagrams is based on causality, which makes it possible to automatically schedule data-path operations in data-flow oriented applications, such as DSP and telecommunications ASIC design. The tool, called RTL-SADE, automatically generates VHDL models for logic synthesis programs from graphical specifications.
منابع مشابه
Automatic Functional Datapath Optimization A System For Digital Circuit Frontend Specification
Digital hardware frontend specification is defined by two extremes RTL specification and HLS specification. RTL specification produces highly optimized designs, but requires extremely verbose low level specification on the part of the designer. On the other hand, HLS specification requires much less verbose high level specification from the designer, but does not produce well optimized designs....
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملAutomatic Functional Datapath Optimization
Digital hardware frontend specification is defined by two extremes RTL specification and HLS specification. RTL specification produces highly optimized designs, but requires extremely verbose low level specification on the part of the designer. On the other hand, HLS specification requires much less verbose high level specification from the designer, but does not produce well optimized designs....
متن کاملVerifying Compiler Based Refinement of Bluespec Specifications using the SPIN Model Checker
The underlying model of computation for PROMELA is based on interacting processes with asynchronous communication, and hence SPIN has been mainly used as a verification engine for concurrent software systems. On the other hand, hardware verification has mostly focused on clock synchronous register-transfer level (RTL) models. As a result, verification tools such as SMV which are based on synchr...
متن کاملFormal Equivalence Checking of Software Specifications
Ever-growing complexity is forcing logic design to move above the register transfer level (RTL). For example, functional specifications are being written in software. These specifications are written for clarity, and are not optimized or intended for synthesis. Since the software is the target of functional validation, equivalence verification between the software specification and the RTL impl...
متن کامل